The Paderborn University BSP ( PUB ) library q
نویسندگان
چکیده
The Paderborn University BSP (PUB) library is a C communication library based on the BSP model. The basic library supports buffered as well as unbuffered non-blocking communication between any pair of processors and a mechanism for synchronizing the processors in a barrier style. In addition, PUB provides non-blocking collective communication operations on arbitrary subsets of processors, the ability to partition the processors into independent groups that execute asynchronously from each other, and a zero-cost synchronization mechanism. Furthermore, some techniques used in the implementation of the PUB library deviate significantly from the techniques used in other BSP libraries. 2002 Elsevier Science B.V. All rights reserved.
منابع مشابه
The Paderborn University Bsp (pub) Library { Design and Implementation
The Paderborn University BSP (PUB) library is a C library of message passing functions inspired by the BSP model. The library supports buuered and unbuuered asynchronous communication between processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on any arbitrary subset of processors, such as broadcast and ...
متن کاملThe Paderborn University BSP (PUB) Library - Design, Implementation and Performance
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between any pair of processors, and a mechanism for synchronizing the processors in a barrier style. In addition, it provides routines for collective communication on arbitrary subsets of processors, partition operations, and a ...
متن کاملFrom BSP routines to high-performance ones: Formal verification of a transformation case
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. We present a formal semantics that emphasises the high-performance primitives of the PUB. This semantics is here used to formally verify (using the Coq proof assistant) a simple optimization of the source code that transforms classical BSP routines to their high-performance...
متن کاملFormal Operational Semantics of a Core Imperative BSP language Application to the proof of a numerical program and a certified optimization
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time, avoids deadlocks and indeterminism. This paper presents three formal operational semantics for a C+PUB subset language using the Coq proof assistant. A first semantics, for classical BSP operations, has been used to ...
متن کامل